ePMC - csma all_before

Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property all_before_max
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 1456 1456
build-model-states-explored 3200 1744
build-model-states-explored 5053 1853
build-model-states-explored 6922 1869
build-model-states-explored 8806 1884
build-model-states-explored 10697 1891
build-model-states-explored 12578 1881
build-model-states-explored 14478 1900
build-model-states-explored 16381 1903
build-model-states-explored 18254 1873
build-model-states-explored 20137 1883
build-model-states-explored 22029 1892
build-model-states-explored 23921 1892
build-model-states-explored 25814 1893
build-model-states-explored 27656 1842
build-model-states-explored 29520 1864
build-model-states-explored 31419 1899
build-model-states-explored 33319 1900
build-model-states-explored 35217 1898
build-model-states-explored 37113 1896
build-model-states-explored 39002 1889
build-model-states-explored 40899 1897
build-model-states-explored 42785 1886
build-model-states-explored 44676 1891
build-model-states-explored 46561 1885
build-model-states-explored 48457 1896
build-model-states-explored 50353 1896
build-model-states-explored 52239 1886
build-model-states-explored 54117 1878
build-model-states-explored 55892 1775
build-model-states-explored 57786 1894
build-model-states-explored 59681 1895
build-model-states-explored 61582 1901
build-model-states-explored 63477 1895
build-model-states-explored 65373 1896
build-model-states-explored 67270 1897
build-model-states-explored 69165 1895
build-model-states-explored 71053 1888
build-model-states-explored 72941 1888
build-model-states-explored 74908 1967
build-model-states-explored 77136 2228
build-model-states-explored 79364 2228
build-model-states-explored 81591 2227
build-model-states-explored 83818 2227
build-model-states-explored 86022 2204
build-model-states-explored 88233 2211
build-model-states-explored 90445 2212
build-model-states-explored 92668 2223
build-model-states-explored 94900 2232
build-model-states-explored 97136 2236
build-model-states-explored 99365 2229
build-model-states-explored 101597 2232
build-model-states-explored 103820 2223
build-model-states-explored 106039 2219
build-model-states-explored 108263 2224
build-model-states-explored 110488 2225
build-model-states-explored 112711 2223
build-model-states-explored 114729 2018
build-model-states-explored 116951 2222
build-model-states-explored 119171 2220
build-model-states-explored 121397 2225
build-model-states-explored 123626 2229
build-model-states-explored 125848 2222
build-model-states-explored 128075 2227
build-model-states-explored 130298 2223
build-model-states-explored 132514 2216
build-model-states-explored 134743 2229
build-model-states-explored 136964 2221
build-model-states-explored 139194 2230
build-model-states-explored 141418 2224
build-model-states-explored 143637 2219
build-model-states-explored 145864 2227
build-model-states-explored 148088 2224
build-model-states-explored 150305 2217
build-model-states-explored 152516 2211
build-model-states-explored 154735 2219
build-model-states-explored 156950 2215
build-model-states-explored 159172 2222
build-model-states-explored 161399 2227
build-model-states-explored 163622 2223
build-model-states-explored 165846 2224
build-model-states-explored 168066 2220
build-model-states-explored 170286 2220
build-model-states-explored 172505 2219
build-model-states-explored 174722 2217
build-model-states-explored 176936 2214
build-model-states-explored 179132 2196
build-model-states-explored 181343 2211
build-model-states-explored 183560 2217
build-model-states-explored 185779 2219
build-model-states-explored 187990 2211
build-model-states-explored 190214 2224
build-model-states-explored 192435 2221
build-model-states-explored 194654 2219
build-model-states-explored 196876 2222
build-model-states-explored 199091 2215
build-model-states-explored 201316 2225
build-model-states-explored 203535 2219
build-model-states-explored 205759 2224
build-model-states-explored 207981 2222
build-model-states-explored 210188 2207
build-model-states-explored 212409 2221
build-model-states-explored 214632 2223
build-model-states-explored 216887 2255
build-model-states-explored 219129 2242
build-model-states-explored 221382 2253
build-model-states-explored 223636 2254
build-model-states-explored 225898 2262
build-model-states-explored 228157 2259
build-model-states-explored 230419 2262
build-model-states-explored 232683 2264
build-model-states-explored 234518 1835
build-model-states-explored 236763 2245
build-model-states-explored 239008 2245
build-model-states-explored 241266 2258
build-model-states-explored 243523 2257
build-model-states-explored 245791 2268
build-model-states-explored 248043 2252
build-model-states-explored 250309 2266
build-model-states-explored 252575 2266
build-model-states-explored 254836 2261
build-model-states-explored 257093 2257
build-model-states-explored 259350 2257
build-model-states-explored 261607 2257
build-model-states-explored 263857 2250
build-model-states-explored 266114 2257
build-model-states-explored 268372 2258
build-model-states-explored 270629 2257
build-model-states-explored 272891 2262
build-model-states-explored 275150 2259
build-model-states-explored 277403 2253
build-model-states-explored 279644 2240
build-model-states-explored 281897 2253
build-model-states-explored 284163 2266
build-model-states-explored 286417 2254
build-model-states-explored 288669 2252
build-model-states-explored 290927 2258
build-model-states-explored 293185 2258
build-model-states-explored 295440 2255
build-model-states-explored 297697 2257
build-model-states-explored 299934 2237
build-model-states-explored 302181 2247
build-model-states-explored 304444 2263
build-model-states-explored 306705 2261
build-model-states-explored 308968 2263
build-model-states-explored 311224 2256
build-model-states-explored 313480 2256
build-model-states-explored 315745 2265
build-model-states-explored 318002 2257
build-model-states-explored 320260 2258
build-model-states-explored 322518 2258
build-model-states-explored 324787 2269
build-model-states-explored 327046 2259
build-model-states-explored 329298 2252
build-model-states-explored 331554 2256
build-model-states-explored 333808 2254
build-model-states-explored 336074 2266
build-model-states-explored 338333 2259
build-model-states-explored 340586 2253
build-model-states-explored 342854 2268
build-model-states-explored 345115 2261
build-model-states-explored 347377 2262
build-model-states-explored 349626 2249
build-model-states-explored 351877 2251
build-model-states-explored 354091 2214
build-model-states-explored 356297 2206
build-model-states-explored 358552 2255
build-model-states-explored 360814 2262
build-model-states-explored 363073 2259
build-model-states-explored 365301 2228
build-model-states-explored 367496 2195
build-model-states-explored 369752 2256
build-model-states-explored 372007 2255
build-model-states-explored 374255 2248
build-model-states-explored 376519 2264
build-model-states-explored 378777 2258
build-model-states-explored 381034 2257
build-model-states-explored 383292 2258
build-model-states-explored 385523 2231
build-model-states-explored 387787 2264
build-model-states-explored 390035 2248
build-model-states-explored 392295 2260
build-model-states-explored 394554 2259
build-model-states-explored 396812 2258
build-model-states-explored 399065 2253
build-model-states-explored 401321 2256
build-model-states-explored 403579 2258
build-model-states-explored 405842 2263
build-model-states-explored 408086 2244
build-model-states-explored 410347 2261
build-model-states-explored 412602 2255
build-model-states-explored 414852 2250
build-model-states-explored 417103 2251
build-model-states-explored 419363 2260
build-model-states-explored 421615 2252
build-model-states-explored 423873 2258
build-model-states-explored 426125 2252
build-model-states-explored 428399 2274
build-model-states-explored 430653 2254
build-model-states-explored 432911 2258
build-model-states-explored 435163 2252
build-model-states-explored 437434 2271
build-model-states-explored 439689 2255
build-model-states-explored 441945 2256
build-model-states-explored 444186 2241
build-model-states-explored 446454 2268
build-model-states-explored 448694 2240
build-model-states-explored 450951 2257
build-model-states-explored 453218 2267
build-model-states-explored 455479 2261
build-model-states-explored 457745 2266
build-model-states-explored 460002 2257
build-model-states-explored 462258 2256
build-model-states-explored 464519 2261
build-model-states-explored 466810 2291
build-model-states-explored 469076 2266
build-model-states-explored 471327 2251
build-model-states-explored 473601 2274
build-model-states-explored 475283 1682
build-model-states-explored 477281 1998
build-model-states-explored 479542 2261
build-model-states-explored 481789 2247
build-model-states-explored 484047 2258
build-model-states-explored 486313 2266
build-model-states-explored 488561 2248
build-model-states-explored 490809 2248
build-model-states-explored 493036 2227
build-model-states-explored 495297 2261
build-model-states-explored 497565 2268
build-model-states-explored 499816 2251
build-model-states-explored 502070 2254
build-model-states-explored 504337 2267
build-model-states-explored 506587 2250
build-model-states-explored 508840 2253
build-model-states-explored 511098 2258
build-model-states-explored 513366 2268
build-model-states-explored 515637 2271
build-model-states-explored 517897 2260
build-model-states-explored 520154 2257
build-model-states-explored 522415 2261
build-model-states-explored 524679 2264
build-model-states-explored 526936 2257
build-model-states-explored 529194 2258
build-model-states-explored 531442 2248
build-model-states-explored 533722 2280
build-model-states-explored 535995 2273
build-model-states-explored 538250 2255
build-model-states-explored 540509 2259
build-model-states-explored 542775 2266
build-model-states-explored 545032 2257
build-model-states-explored 547281 2249
build-model-states-explored 549542 2261
build-model-states-explored 551812 2270
build-model-states-explored 554077 2265
build-model-states-explored 556330 2253
build-model-states-explored 558599 2269
build-model-states-explored 560864 2265
build-model-states-explored 563128 2264
build-model-states-explored 565395 2267
build-model-states-explored 567663 2268
build-model-states-explored 569916 2253
build-model-states-explored 572154 2238
build-model-states-explored 574420 2266
build-model-states-explored 576682 2262
build-model-states-explored 578957 2275
build-model-states-explored 581225 2268
build-model-states-explored 583495 2270
build-model-states-explored 585757 2262
build-model-states-explored 588015 2258
build-model-states-explored 590289 2274
build-model-states-explored 592562 2273
build-model-states-explored 594832 2270
build-model-states-explored 597096 2264
build-model-states-explored 599362 2266
build-model-states-explored 601629 2267
build-model-states-explored 603898 2269
build-model-states-explored 606164 2266
build-model-states-explored 608438 2274
build-model-states-explored 610702 2264
build-model-states-explored 612969 2267
build-model-states-explored 615232 2263
build-model-states-explored 617507 2275
build-model-states-explored 619777 2270
build-model-states-explored 622044 2267
build-model-states-explored 624307 2263
build-model-states-explored 626562 2255
build-model-states-explored 628828 2266
build-model-states-explored 631093 2265
build-model-states-explored 633361 2268
build-model-states-explored 635624 2263
build-model-states-explored 637890 2266
build-model-states-explored 640165 2275
build-model-states-explored 642431 2266
build-model-states-explored 644703 2272
build-model-states-explored 646898 2195
build-model-states-explored 649144 2246
build-model-states-explored 651416 2272
build-model-states-explored 653685 2269
build-model-states-explored 655953 2268
build-model-states-explored 658230 2277
build-model-states-explored 660498 2268
build-model-states-explored 662760 2262
build-model-states-explored 665008 2248
build-model-states-explored 667275 2267
build-model-states-explored 669545 2270
build-model-states-explored 671809 2264
build-model-states-explored 674082 2273
build-model-states-explored 676356 2274
build-model-states-explored 678622 2266
build-model-states-explored 680884 2262
build-model-states-explored 683145 2261
build-model-states-explored 685415 2270
build-model-states-explored 687674 2259
build-model-states-explored 689932 2258
build-model-states-explored 692189 2257
build-model-states-explored 694455 2266
build-model-states-explored 696721 2266
build-model-states-explored 698990 2269
build-model-states-explored 701257 2267
build-model-states-explored 703529 2272
build-model-states-explored 705790 2261
build-model-states-explored 708062 2272
build-model-states-explored 710327 2265
build-model-states-explored 712585 2258
build-model-states-explored 714861 2276
build-model-states-explored 717116 2255
build-model-states-explored 719360 2244
build-model-states-explored 721625 2265
build-model-states-explored 723888 2263
build-model-states-explored 726152 2264
build-model-states-explored 728434 2282
build-model-states-explored 730696 2262
build-model-states-explored 732972 2276
build-model-states-explored 735249 2277
build-model-states-explored 737524 2275
build-model-states-explored 739807 2283
build-model-states-explored 742088 2281
build-model-states-explored 744375 2287
build-model-states-explored 746654 2279
build-model-states-explored 748936 2282
build-model-states-explored 751223 2287
build-model-states-explored 753512 2289
build-model-states-explored 755790 2278
build-model-states-explored 758072 2282
build-model-states-explored 760347 2275
build-model-done 761962 345
iterating
iterating-progress-unbounded 84 64.0 1
iterating-progress-unbounded 175 2799.6666666666665 2
iterating-done 232 2
model-checking-done 354
command-check-result-is 0.7764600248577358 all_before_max
Model:	csma v.1 (MDP)
Parameter(s)	N = 4, K = 2
Property:	all_before_max (prob-reach)
Walltime:	355.84288477897644s
Return code:	0
Relative Error:	1.6028539463366562e-07